GSDLAB TECHNICAL REPORT From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case
نویسندگان
چکیده
A bidirectional transformation (BX) keeps a pair of interrelated models synchronized. Symmetric BXs are those for which neither model in the pair fully determines the other. We build two algebraic frameworks for symmetric BXs, with one correctly implementing the other, and both being delta-based generalizations of known state-based frameworks. We identify two new algebraic laws—weak undoability and weak invertibility, which capture important semantics of BX and are useful for both stateand delta-based settings. Our approach also provides a flexible tool architecture adaptable to different user’s needs.
منابع مشابه
GSDLAB TECHNICAL REPORT An algebraic semantics for bidirectional model synchronization
The goal of the present document is to support the taxonomy for bidirectional model synchronization developed in [1] with a formal semantics. The taxonomy is 3D so that each synchronization type is characterized by a triple of coordinates (x, y, z), in which x classifies the organizational symmetry of the case, y is for the informational symmetry, and z is for incrementality of the update propa...
متن کاملGSDLAB TECHNICAL REPORT A Taxonomic Space for Increasingly Symmetric Model Synchronization
A pipeline of unidirectional model transformations is a wellunderstood architecture for model driven engineering tasks such as model compilation or view extraction. However, modern applications seem to require a shift towards networks of models related in various ways, whose synchronization often needs to be incremental and bidirectional. This new situation demands new features from transformat...
متن کاملBidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal)
In recent years in the bx literature, attention has turned to incor-porating intensional information about edits (based on monoid ac-tions [HPW12,AU14, for example]), or more generally, deltas (based oncategories [DXC11a, DXC11b]), describing model updates. This talksketches a dependently-typed approach to consistency maintenance,à la Meertens/Stevens [Mee98, Ste10], buildin...
متن کاملFrom State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case
Existing bidirectional model transformation (BX) languages are mainly state-based: model alignment is hidden inside update propagating procedures, and model deltas are implicit. Weaving alignment with update propagation complicates the latter and makes it less predictable and less manageable. We propose to separate concerns and consider two distinct operations: delta discovery (alignment) and d...
متن کاملGSDLAB TECHNICAL REPORT Why CART Works for Variability-Aware Performance Prediction? An Empirical Study on Performance Distributions
This report presents follow-up work for our previous technical report “Variability-Aware Performance Modeling: A Statistical Learning Approach" (GSDLAB-TR-2012-08-18). We try to give evidence why our approach, based on a statisticallearning technique called Classification And Regression Trees (CART), works for variability-aware performance prediction. To this end, we conduct a comparative analy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011